Надано класифікацію моделей надійності програмного забезпечення (ПЗ) і фрагмент бази даних моделей. Отримано матрицю припущень для ймовірнісних моделей і граф сумісності моделей різних типів. Сформульовано особливості методики оцінки надійності ПЗ для багатоверсійних систем.

Досліджено зміни національного складу та мовної структури населення України за даними переписів 1959, 1970, 1979, 1989 рр. та причин, що їх обумовили. З'ясовано, що за цей час чисельність українців та україномовного населення зростала значно повільніше, ніж росіян і російськомовного населення, внаслідок чого частка перших від усього населення України скоротилася, а других - збільшилася. Серед українців розгорнулися процеси мовної та етнічної русифікації, особливо у 70 - 80-ті рр., коли загальна чисельність українців зростала переважно за рахунок російськомовних. Російська національна меншина не зазнала асиміляції. У 1959 р. співвідношення між україномовним та російськомовним населенням в Україні було 3 до 1, а у 1989 р. - 2 до 1. Перед українцями та україномовним населенням постала реальна перспектива стати меншиною на своїй історичній Батьківщині, особливо у східних та південних областях. Встановлено, що зміни національного складу та мовної структури населення за 1959 - 1989 рр. відбувалися не під впливом природних чинників, а стали наслідком русифікації України.

Подано відомості з математичної статистики, що застосовуються під час комп'ютерної обробки даних у галузі агрономії, зооінженерії, економіки сільського господарства, переробки продукції сільського господарства та ветеринарної медицини. Запропоновано цикл практичних робіт, які дозволяють оволодіти навичками обробки даних польових дослідів і спостережень на базі найбільш поширеного і потужного статистичного пакета Statistica for Windows 5.0. Розглянуто методи програмування динамічних процесів, необхідних для оцінки сільськогосподарських технологій за умов ринкової економіки.

Узагальнено архітектуру бортових управляючих та обчислювальних систем із роздільним мажоритарним резервуванням, в яких як адаптивні параметри використовуються не тільки порогова функція відновлюючого органу, але і кількість ярусів резервування, і кількість програмних версій (варіантів). Приведено результати досліджень систем, в яких реалізуються методи ярусно-порогової і ярусно-версійно-порогової адаптації.

Запропоновано алгоритм моделювання та визначення показників безвідмовності програмних засобів методом Монте-Карло. Для оцінки безвідмовності системи розроблено методику, що базується на інтеграції комбінаторно-ймовірнісного й імітаційного методів. Наведено приклад використання методики для визначення показників безвідмовності триверсійного програмного засобу й адаптивної мажоритарно-резервованої системи на його базі.

Ключ. слова: Eviphididae, Scarabaspis, новый вид, Geotrupes, Алтай
Індекс рубрикатора НБУВ: Е621.151

Рубрики:

Arachnida (Arachnoidea) Павукоподібні. Арахнологія

Шифр НБУВ: Ж27025 Пошук видання у каталогах НБУВ 

Ключ. слова: радиоактивные загрязнения, кубовые остатки дихлорэтана
Індекс рубрикатора НБУВ: З43

Рубрики:

Дезактивація

Шифр НБУВ: Ж28350 Пошук видання у каталогах НБУВ 

Ключ. слова: радиоактивное загрязнение, очистка сточных вод ПуСО
Індекс рубрикатора НБУВ: Н761.204

Рубрики:

Очищання стічних вод

Шифр НБУВ: Ж28350 Пошук видання у каталогах НБУВ 

Ключ. слова: очистка, радиоактивное загрязнение, сточные воды спецпрачечных
Індекс рубрикатора НБУВ: Н935-431 + Н761.204

Рубрики:

Банно-пральна справа

Очищання стічних вод

Шифр НБУВ: Ж28350 Пошук видання у каталогах НБУВ 

Проаналізовано статистичні матеріали переписів населення за такими напрямками: загальна чисельність населення, українців, етнічних меншин, в тому числі росіян, євреїв, білорусів, поляків. Виявлено основні тенденції змін чисельності та етнічного складу населення Києва, порівняно їх з етнодемографічними процесами в цілому по Україні за цей період.

Проанализированы статистические материалы переписей населения по таким направлениям: общая численность населения, украинцев, этнических меньшинств, в том числе русских, евреев, белорусов, поляков. Выявлены основные тенденции изменений численности и этнического состава населения Киева, дано их сравнение с этнодемографическими процессами в целом по Украине за этот период.

Проаналізовано зміни чисельності російськомовних українців за 1989 - 2001 рр. у цілому в Україні та окремо в Західному, Центральному, Південному та Східному регіонах, встановлено територіальні відмінності цих змін. Зазначено, що дане дослідження проводилося з урахуванням змін чисельності етнічних українців, етнічних росіян, російськомовного та всього населення. Встановлено особливості змін чисельності російськомовних українців у контексті етномовних процесів в Україні.

Проанализированы изменения численности русскоязычных украинцев за 1989 - 2001 гг. в целом в Украине и отдельно в Западном, Центральном, Южном и Восточном регионах, установлены территориальные отличия этих изменений. Указано, что данное исследование проводилось с учетом изменений численности этнических украинцев, этнических русских, русскоязычного и всего населения. Установлены особенности изменений численности русскоязычных украинцев в контексте этноязычных процессов в Украине.

Індекс рубрикатора НБУВ: Ш121(4УКР)11

Рубрики:

Мовна політика

Шифр НБУВ: Ж21929 Пошук видання у каталогах НБУВ 

На підставі аналізу статистичних матеріалів переписів населення 1959, 1970, 1979 та 1989 рр. досліджено етномовні процеси, що відбувалися в Україні у даний період. Проаналізовано основні тенденції у змінах чисельності населення за етнічними та мовними ознаками. Визначено чинники, які впливали на динаміку етнічного складу та мовної структури населення України за умов радянського тоталітаризму. Зроблено висновок, що розгортання штучної мовної й етнічної асиміляції у формі зросійщення є прямим наслідком бездержавності України.

На основе анализа статистических материалов переписи населения 1959, 1970, 1979 та 1989 гг. исследованы этноязычные процессы, происходившие в Украине в данный период. Проанализированы основные тенденции в изменениях численности населения по этническим и языковым признакам. Определены факторы влияния на динамику этнического состава и языковой структуры населения Украины в условиях советского тоталитаризма. Сделан вывод, что искусственная языковая и этническая ассимиляция в форме насильственного введения российского языка является прямым последствием отсутствия государства в Украине.

На підставі аналізу статистичних матеріалів переписів населення 1989 та 2001 рр. проаналізовано етнічний склад і мовну структуру населення України. Визначено етномовну ідентичність населення. Встановлено особливості територіального розміщення українців і представників ентнічних меншинних груп.

На основе анализа статистических материалов переписей населения 1989 и 2001 гг. проанализированы этнический состав и языковая структура населения Украины. Определена этноязыковая идентичность населения. Установлены особенности территориального размещения украинцев и представителей групп этнических меньшинств.

Рассмотрены теоретические основы, методы и средства разработки и верификации информационно-управляющих систем (ИУС) на программируемой логике, к которым предъявляются повышенные требования по надежности и функциональной безопасности. Класс рассматриваемых ИУС ограничен системами на платформах, разработанных с использованием программируемых логических интегральных схем (ПЛИС). Основное внимание уделено методам оценивания и повышения отказоустойчивости ИУС и ее базовой составляющей для критических систем - отказобезопасности - механизма обеспечения требуемого уровня функциональной безопасности и снижения рисков опасных отказов аппаратных и программных компонент. Показаны особенности применения ПЛИС для разработки ИУС, АЭС, предложены модель жизненного цикла и многоверсионные технологии обеспечения надежности и безопасности ИУС на программируемой логике. Раскрыты принципы построения программно-технических комплексов ИУС, разработанных НПП "Радий" с использоваием ПЛИС-технологий, освещен опыт их внедрения на АЭС Украины и в других странах.

Изложены методические и инструментальные аспекты оценки качества программного обеспечения (ПО) компьютерных систем для разных компонентов космических комплексов (КС). Приведены требования к качеству ПО КС на основе анализа международных стандартов и гармонизированных отраслевых нормативных документов Национального космического агентства Украины. Описаны процессы и методы оценки и обеспечения качества на разных этапах жизненного цикла ПО КС. Рассмотрены методы тестирования, вероятностной и метрической оценок качества, надежности и безопасности программного обеспечения. Освещены основы построения и реализации инструментальной системы поддержки оценки качества критического ПО КС.

Проаналізовано можливі підходи до підвищення надійності програмного забезпечення за допомогою методу уведення версійної надмірності, коли існує два та більше способів виконання функцій системи. Для оцінки ступеня розбіжності версій програмного забезпечення запропоновано різні типи метрик багатоверсійності, які побудовано на базі співвідношень між незалежними та збіжними відмовами програмних версій.

Ключ. слова: природне лісовідновлення, дрібний підріст, прямий і непрямий градієнтний аналіз, популяційний аналіз, екологічні оптимуми
Індекс рубрикатора НБУВ: П382-427(4УКР)

Рубрики:

Листяні породи

Шифр НБУВ: Ж22024 Пошук видання у каталогах НБУВ 

Ключ. слова: Parasitidae, Poecilochirus, Phosphuga, Hister, Nicrophoms, Украина
Індекс рубрикатора НБУВ: Е621.151.253.2(4Укр)

Рубрики:

Gamasida Гамазоїдні кліщі

Шифр НБУВ: Ж27025 Пошук видання у каталогах НБУВ 

Ключ. слова: живучесть, поражающее воздействие, математическое моделирование
Індекс рубрикатора НБУВ: З968.85-01

Рубрики:

Розподілені системи автоматики

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ